Primitive_Rules 12,41
nuprl primitive rules

NIL

origin